perm filename STERLI[F86,JMC] blob sn#825969 filedate 1986-10-08 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	sterli[f86,jmc]		Notes on Sterling and Shapiro
C00003 ENDMK
CāŠ—;
sterli[f86,jmc]		Notes on Sterling and Shapiro

Can the nand gate program, in either version, be used to generate
nand gates rather than merely identify them in existing circuits?
It looks like it would have to use gensym.

More direct comparisons with LISP would be helpful.

person(david,harel) isn't quite right, because there might be several
David Harel's.  It looks like there ought to be some way of saying
``a particular person whose name happens to be David Harel''.